package net.htjs.jdkgrammer.jdk15;


public sealed class Animal permits Cat, Dog{
}
